#ifndef PARAM_H
#define PARAM_H

#define PAGE       4096  // granularity of user-space memory allocation
#define NPROC        64  // maximum number of processes
#define KSTACKSIZE 4096  // size of per-process kernel stack

#endif
